Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
561	BLOG: Relational Modeling with Unknown Objects Brian Milch [removed] Bhaskara Marthi [removed] Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2004-09-01 16:47:01 Statistics Non-classical logic Probabilistic logic Function Probability Functor Causality Conceptual model Markov chain Mathematics Logic Markov models
562	Gregory Wheeler Munich Center for Mathematical Philosophy Ludwig Maximilian University of Munich Geschwister-Scholl-Platz[removed]Munich, germany Email: [removed] Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2014-04-15 16:47:35 Epistemology Gregory Wheeler Formal epistemology Probabilistic logic Lottery paradox Henry E. Kyburg Jr. Journal of Philosophical Logic Colin Howson Default logic Logic Non-classical logic Science
563	Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements Vitaliy L. Khizder† , David Toman‡ and Grant Weddell‡ † ‡ Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Science Knowledge Artificial intelligence Abox Tbox Description logic Relational model Modal logic Logic Non-classical logic Ontology
564	2 Basic Description Logics Franz Baader Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:48 Ontology Non-classical logic Philosophical logic Model theory Quantification Description logic Tbox Abox Knowledge representation and reasoning Logic Science Mathematical logic
565	Description Logics Foundations of Propositional Logic Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:47 Propositional calculus Philosophical logic Logic in computer science Logical syntax Modal logic First-order logic Proposition Fuzzy logic Entailment Logic Mathematical logic Non-classical logic
566	Combining Two Formalism for Reasoning about Concepts? (extended abstract) N.V. Shilov, N.O. Garanina, and I.S. Anureev A.P. Ershov Institute of Informatics Systems, Lavren’ev av., 6, Novosibirsk[removed], Russia, Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Formal languages Metalogic Non-classical logic Model theory Modal logic Description logic Interpretation Function Finitary relation Logic Mathematics Mathematical logic
567	Description Logic vs. Order-Sorted Feature Logic Hassan A¨ıt-Kaci ILOG, Inc. [removed] Abstract. We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF ) Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Constraint programming Logic programming Model theory Non-classical logic Programming paradigms Constraint logic programming First-order logic Description logic Structure Logic Mathematical logic Mathematics
568	Consequence Finding in ALC Meghyn Bienvenu IRIT, Universit´e Paul Sabatier Toulouse, France [removed] Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Propositional calculus Boolean algebra Philosophical logic Modal logic Prime number Description logic Function Propositional formula Logic Mathematical logic Mathematics
569	Expressing DL-Lite Ontologies with Controlled English Raffaella Bernardi, Diego Calvanese, Camilo Thorne Faculty of Computer Science Free University of Bozen-Bolzano Piazza Domenicani 3, Bolzano, Italy {bernardi,calvanes Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Artificial intelligence Description logic Information science First-order logic FO Lambda calculus Function Knowledge representation and reasoning Mathematical logic Logic Mathematics
570	A New Mapping from ALCI to ALC Yu Ding and Volker Haarslev and Jiewen Wu Concordia University, Montreal, Quebec, Canada {ding yu\|haarslev\|w jiewen}@cse.concordia.ca 1 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Modal logic Philosophical logic Abox Tbox Description logic Hybrid logic Logic Non-classical logic Ontology

UPDATE